- reducing calculus
- редукционное исчисление
English-Russian cartography dictionary. 2013.
reducing calculus
Смотреть что такое "reducing calculus" в других словарях:
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Kidney stone — Classification and external resources … Wikipedia
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Francis Ysidro Edgeworth — (8 February 1845 ndash; 13 February 1926) made significant contributions to the methods of statistics during the 1880s. From 1891 onward he was the editor of a leading academic journal in economics and his own writings in economics were… … Wikipedia
science, history of — Introduction the history of science from its beginnings in prehistoric times to the 20th century. On the simplest level, science is knowledge of the world of nature. There are many regularities in nature that mankind has had to… … Universalium
Эджуорт, Фрэнсис Исидор — В Википедии есть статьи о других людях с такой фамилией, см. Эджуорт. Фрэнсис Эджуорт Francis Ysidro Edgeworth … Википедия
Periodontitis — Infobox Disease Name = Periodontal disease Caption = This radiograph shows significant bone loss between the two roots of a tooth. The spongy bone has receded due to infection under tooth, reducing the bony support for the tooth. DiseasesDB =… … Wikipedia
